<h1>Stop solver</h1>
<p>Signal solver to gracefully stop.</p>
